noinst_LIBRARIES        = libreasoner.a

libreasoner_a_SOURCES = reasoner.c reasoner.h

CLEANFILES      = *.o
DISTCLEANFILES  = .deps Makefile
